"Wei-Ngan Chin" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture ... Programming and Software Engineering)

Автор: Ahmed Bouajjani, Автор: Wei-Ngan Chin

Категория: Техника

Размер книги: 6.00 Mb

Programming Languages and Systems, 2 conf., APLAS 2004

Автор: Wei-Ngan Chin

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 4.69 Mb